From: Julien Grall Date: Fri, 15 Nov 2013 15:27:37 +0000 (+0000) Subject: xen/arm: Panic if we are unable to initialize platform timer X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~5922 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22%22/%22http:/www.example.com/cgi/%22https:/%22%22?a=commitdiff_plain;h=5238d28edc8cf2881df4b9494596660acc4c7c08;p=xen.git xen/arm: Panic if we are unable to initialize platform timer The caller of xen_init_time, start_xen, doesn't check the return value of the function. Xen will silently ignore the error and continue. Signed-off-by: Julien Grall Acked-by: Stefano Stabellini Acked-by: Ian Campbell --- diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c index a30d4229b4..938995dbe5 100644 --- a/xen/arch/arm/time.c +++ b/xen/arch/arm/time.c @@ -132,7 +132,7 @@ int __init init_xen_time(void) res = platform_init_time(); if ( res ) - return res; + panic("Timer: Cannot initialize platform timer\n"); /* Check that this CPU supports the Generic Timer interface */ if ( !cpu_has_gentimer )